$\forall$${\it the\_w}$:World, $i$, $x$:Id. vartype($i$;$x$) $\in$ Type